metalinguistic variable

См. также в других словарях:

• Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• Metalanguage — For the programming language, see ML (programming language). Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make… …   Wikipedia

• Metavariable — For the term as used in computer science, see Metasyntactic variable. In logic, a metavariable (also metalinguistic variable[1] or syntactical variable[2]) is a symbol or symbol string which belongs to a metalanguage and stands for elements of… …   Wikipedia

• Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… …   Wikipedia

• Domain-specific language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

• Second language learning — (SLL) is the process by which people consciously learn a second language. According to the linguist Stephen Krashen, there is a difference in language learning and language acquisition.Explaining Second Language LearningThe linguist Stephen… …   Wikipedia

• Shm-reduplication — is a form of reduplication in which the original word or its first syllable (the base) is repeated with the copy (the reduplicant) beginning with shm , IPA IPA| [ʃm] . The construction is generally used to indicate irony, derision or scepticism… …   Wikipedia

• positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… …   Universalium

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium